$HEAD
ok /$SCRIPT_NAME $SCRIPT_FILENAME